Pacalet, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Secured CAD Back-End Flow for Power-Analysis-Resistant Cryptoprocessors

Guilley, S., Flament, F., Hoogvorst, P., Pacalet, R., Mathieu, Y.

Journal:

IEEE Design & Test of Computers

Year:

2007

Language:

english

File:

PDF, 1.04 MB

english, 2007

2

[IEEE 2019 8th Mediterranean Conference on Embedded Computing (MECO) - Budva, Montenegro (2019.6.10-2019.6.14)] 2019 8th Mediterranean Conference on Embedded Computing (MECO) - Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle

Fujdiak, Radek, Blazek, Petr, Apvrille, Ludovic, Martinasek, Zdenek, Mlynek, Petr, Pacalet, Renaud, Smekal, David, Mrnustik, Pavel, Barabas, Maros, Zoor, Maysam

Year:

2019

Language:

english

File:

PDF, 1.19 MB

english, 2019

3

SoCs security: a war against side-channels

Sylvain Guilley, Renaud Pacalet

Journal:

annals of telecommunications - annales des télécommunications

Year:

2004

Language:

english

File:

PDF, 1.56 MB

english, 2004

4

Un environnement de conception de systèmes distribués basé sur UML

Ludovic Apvrille, Pierre de Saqui-Sannes, Renaud Pacalet, Axelle Apvrille

Journal:

annals of telecommunications - annales des télécommunications

Year:

2006

File:

PDF, 3.02 MB

2006

5

Functional dependencies of C functions via weakest pre-conditions

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 270 KB

english, 2011

6

A fast pipelined multi-mode DES architecture operating in IP representation

Sylvain Guilley, Philippe Hoogvorst, Renaud Pacalet

Journal:

Integration, the VLSI Journal

Year:

2007

Language:

english

File:

PDF, 1014 KB

english, 2007

7

Formal system-level design space exploration

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet

Journal:

Concurrency and Computation: Practice and Experience

Year:

2012

Language:

english

File:

PDF, 978 KB

english, 2012

8

Dynamic Power Management for the Iterative Decoding of Turbo Codes

Amador, E., Knopp, R., Pacalet, R., Rezard, V.

Journal:

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

Year:

2012

Language:

english

File:

PDF, 355 KB

english, 2012

9

Security Evaluation of WDDL and SecLib Countermeasures against Power Attacks

Guilley, S., Sauvage, L., Hoogvorst, P., Pacalet, R., Bertoni, G.M., Chaudhuri, S.

Journal:

IEEE Transactions on Computers

Year:

2008

Language:

english

File:

PDF, 6.91 MB

english, 2008

10

Evaluation of Power Constant Dual-Rail Logics Countermeasures against DPA with Design Time Security Metrics

Guilley, S., Sauvage, L., Flament, F., Vinh-Nga Vong, Hoogvorst, P., Pacalet, R.

Journal:

IEEE Transactions on Computers

Year:

2010

Language:

english

File:

PDF, 4.87 MB

english, 2010

11

[IEEE 2007 41st Asilomar conference on Signals, Systems and Computers (ACSSC) - Pacific Grove, CA, USA (2007.11.4-2007.11.7)] 2007 Conference Record of the Forty-First Asilomar Conference on Signals, Systems and Computers - Cognitive radio Research and Implementation Challenges

Hayar, A. M., Pacalet, R., Knopp, R.

Year:

2007

Language:

english

File:

PDF, 1.37 MB

english, 2007

12

[IEEE 2007 14th IEEE International Conference on Electronics, Circuits and Systems (ICECS '07) - Marrakech (2007.12.11-2007.12.14)] 2007 14th IEEE International Conference on Electronics, Circuits and Systems - Reconfigurable DSP Architectures for SDR Applications

Muhammad, Najam-ul-Islam, Khalfallah, Karim, Knopp, Raymond, Pacalet, Renaud

Year:

2007

Language:

english

File:

PDF, 162 KB

english, 2007

13

Behind the scenes in SANTE: a combination of static and dynamic analyses

Chebaro, Omar, Cuoq, Pascal, Kosmatov, Nikolai, Marre, Bruno, Pacalet, Anne, Williams, Nicky, Yakobowski, Boris

Journal:

Automated Software Engineering

Year:

2014

Language:

english

File:

PDF, 1.07 MB

english, 2014

14

[IEEE 2013 Eighth International Conference on Availability, Reliability and Security (ARES) - Regensburg, Germany (2013.09.2-2013.09.6)] 2013 International Conference on Availability, Reliability and Security - TRESCCA - Trustworthy Embedded Systems for Secure Cloud Computing

Schomaker, Gunnar, Herrholz, Andreas, Duc, Guillaume, Pacalet, Renaud, Raho, Salvatore, Grammatikakis, Miltos, Coppola, Marcello, Vega, Ignacio Garcia

Year:

2013

Language:

english

File:

PDF, 233 KB

english, 2013

15

Use of flow cytometry to detect intermediate filaments from central nervous system

Nathalie, Dufay, Marille, Pacalet, Françoise, Touraine, Marie-Françoise, Belin

Journal:

Biology of the Cell

Year:

1992

Language:

english

File:

PDF, 114 KB

english, 1992

16

[IEEE Comput. Soc International Conference on Dependable Systems and Networks - Washington, DC, USA (23-26 June 2002)] Proceedings International Conference on Dependable Systems and Networks - Caveat: a tool for software validation

Baudin, P., Pacalet, A., Raguideau, J., Schoen, D., Williams, N.

Year:

2002

Language:

english

File:

PDF, 196 KB

english, 2002

17

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - DiplodocusDF, a Domain-Specific Modelling Language for Software Defined Radio Applications

Gonzalez-Pina, Jair, Ameur-Boulifa, Rabea, Pacalet, Renaud

Year:

2012

Language:

english

File:

PDF, 295 KB

english, 2012

18

[IEEE 2009 Joint IEEE North-East Workshop on Circuits and Systems and TAISA Conference (NEWCAS-TAISA) - Toulouse, France (2009.06.28-2009.07.1)] 2009 Joint IEEE North-East Workshop on Circuits and Systems and TAISA Conference - Shared resources high-level modeling in embedded systems using virtual nodes

Jaber, Chafic, Kanstein, Andreas, Apvrille, Ludovic, Baghdadi, Amer, Pacalet, Renaud

Year:

2009

Language:

english

File:

PDF, 255 KB

english, 2009

19

[IEEE 2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools (DSD) - Patras, Greece (2009.08.27-2009.08.29)] 2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools - Open Platform for Prototyping of Advanced Software Defined Radio and Cognitive Radio Techniques

Nussbaum, Dominique, Kalfallah, Karim, Moy, Christophe, Nafkha, Amor, Lerary, Pierre, Delorme, Julien, Palicot, Jacques, Martin, Jérôme, Clermidy, Fabien, Mercier, Bertrand, Pacalet, Renaud

Year:

2009

Language:

english

File:

PDF, 629 KB

english, 2009

20

[IEEE 2008 IEEE 11th International Conference on Computational Science and Engineering (CSE) - Sao Paulo, Brazil (2008.07.16-2008.07.18)] 2008 11th IEEE International Conference on Computational Science and Engineering - Application Specific Processors for Multimedia Applications

Rashid, Muhammad, Apvrille, Ludovic, Pacalet, Renaud

Year:

2008

Language:

english

File:

PDF, 240 KB

english, 2008

21

[IEEE 2009 IEEE/IFIP International Symposium on Rapid System Prototyping (RSP) - Paris, France (2009.06.23-2009.06.26)] 2009 IEEE/IFIP International Symposium on Rapid System Prototyping - High-Level System Modeling for Rapid HW/SW Architecture Exploration

Jaber, Chafic, Kanstein, Andreas, Apvrille, Ludovic, Baghdadi, Amer, Moënner, Patricia Le, Pacalet, Renaud

Year:

2009

File:

PDF, 303 KB

2009

22

[IEEE 2009 17th IFIP International Conference on Very Large Scale Integration (VLSI-SoC) - Florianopolis, Brazil (2009.10.12-2009.10.14)] 2009 17th IFIP International Conference on Very Large Scale Integration (VLSI-SoC) - Energy efficiency of SISO algorithms for turbo-decoding message-passing LDPC decoders

Amador, Erick, Rezard, Vincent, Pacalet, Renaud

Year:

2009

Language:

english

File:

PDF, 170 KB

english, 2009

23

[IEEE Comput. Soc IEEE International Conference on Application-Specific Systems, Architectures and Processors - Zurich, Switzerland (14-16 July 1997)] Proceedings IEEE International Conference on Application-Specific Systems, Architectures and Processors - A VLSI architecture for image geometrical transformations using an embedded core based processor

Miro, C., Darbel, N., Pacalet, R., Paquet, V.

Year:

1997

Language:

english

File:

PDF, 528 KB

english, 1997

24

[IEEE 9th EUROMICRO Conference on Digital System Design (DSD'06) - Cavtat, Dubrovnik, Croatia ()] 9th EUROMICRO Conference on Digital System Design (DSD'06) - Abstract Application Modeling for System Design Space Exploration

Waseem, M., Apvrille, L., Ameur-Boulifa, R., Coudert, S., Pacalet, R.

Year:

2006

Language:

english

File:

PDF, 138 KB

english, 2006

25

[IEEE 2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09) - Nice (2009.04.20-2009.04.24)] 2009 Design, Automation & Test in Europe Conference & Exhibition - SecBus: Operating System controlled hierarchical page-based memory bus protection

Lifeng Su,, Courcambeck, S., Guillemin, P., Schwarz, C., Pacalet, R.

Year:

2009

Language:

english

File:

PDF, 133 KB

english, 2009

26

[IEEE 2008 5th Workshop on Fault Diagnosis and Tolerance in Cryptography (FDTC) - Washington, DC, USA (2008.08.10-2008.08.10)] 2008 5th Workshop on Fault Diagnosis and Tolerance in Cryptography - Silicon-level Solutions to Counteract Passive and Active Attacks

Guilley, Sylvain, Sauvage, Laurent, Danger, Jean-Luc, Selmane, Nidhal, Pacalet, Renaud

Year:

2008

Language:

english

File:

PDF, 2.96 MB

english, 2008

27

[IEEE 2010 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) - Lixouri, Greece (2010.07.5-2010.07.7)] 2010 IEEE Computer Society Annual Symposium on VLSI - Dynamic Power Management on LDPC Decoders

Amador, Erick, Knopp, Raymond, Rezard, Vincent, Pacalet, Renaud

Year:

2010

Language:

english

File:

PDF, 224 KB

english, 2010

28

[IEEE 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Tozeur, Tunisia (2010.05.31-2010.06.2)] 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE) - Formal system-level design space exploration

Knorreck, Daniel, Apvrille, Ludovic, Pacalet, Renaud

Year:

2010

Language:

english

File:

PDF, 354 KB

english, 2010

29

[IEEE 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools - Parma, Italy (2008.09.3-2008.09.5)] 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools - Flexible Baseband Architectures for Future Wireless Systems

Muhammad, Najam-ul-Islam, Rasheed, Rizwan, Pacalet, Renaud, Knopp, Raymond, Khalfallah, Karim

Year:

2008

Language:

english

File:

PDF, 280 KB

english, 2008

30

[IEEE 2014 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (MobileCloud) - Oxford, United Kingdom (2014.4.8-2014.4.11)] 2014 2nd IEEE International Conference on Mobile Cloud Computing, Services, and Engineering - SecBus, a Software/Hardware Architecture for Securing External Memories

Brunel, Jeremie, Pacalet, Renaud, Ouaarab, Salaheddine, Duc, Guillaume

Year:

2014

Language:

english

File:

PDF, 229 KB

english, 2014

31

[IEEE Comput. Soc. Press Euro ASIC '91 - Paris, France (1991.05.27-1991.05.31)] Euro ASIC '91 - A dedicated circuit for real time motion estimation

Colavin, O., Artieri, A., Naviner, J.-F., Pacalet, R.

Year:

1991

File:

PDF, 390 KB

1991

32

[IEEE 2006 13th IEEE International Conference on Electronics, Circuits and Systems - Nice, France (2006.12.10-2006.12.13)] 2006 13th IEEE International Conference on Electronics, Circuits and Systems - A UML-based Environment for System Design Space Exploration

Apvrille, Ludovic, Muhammad, Waseem, Ameur-Boulifa, Rabea, Coudert, Sophie, Pacalet, Renaud

Year:

2006

Language:

english

File:

PDF, 298 KB

english, 2006

33

[IEEE TENCON 2009 - 2009 IEEE Region 10 Conference - Singapore (2009.01.23-2009.01.26)] TENCON 2009 - 2009 IEEE Region 10 Conference - Assisting abstraction and verification of IP modules by control-data slicing

Muhammad, Waseem, Coudert, Sophie, Ameur-Boulifa, Rabea, Pacalet, Renaud

Year:

2009

Language:

english

File:

PDF, 391 KB

english, 2009

34

[IEEE 2007 IEEE International Multitopic Conference (INMIC) - Lahore, Pakistan (2007.12.28-2007.12.30)] 2007 IEEE International Multitopic Conference - Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs

Muhammad, Waseem, Coudert, Sophie, Ameur-Boulifa, Rabea, Pacalet, Renaud

Year:

2007

Language:

english

File:

PDF, 170 KB

english, 2007

35

[IEEE 2010 6th International Conference on Wireless and Mobile Communications (ICWMC) - Valencia, Spain (2010.09.20-2010.09.25)] 2010 6th International Conference on Wireless and Mobile Communications - On-the-Fly Syndrome Check for LDPC Decoders

Amador, Erick, Knopp, Raymond, Pacalet, Renaud, Rezard, Vincent

Year:

2010

Language:

english

File:

PDF, 446 KB

english, 2010

36

[IEEE 2010 6th International Conference on Wireless and Mobile Communications (ICWMC) - Valencia, Spain (2010.09.20-2010.09.25)] 2010 6th International Conference on Wireless and Mobile Communications - Hybrid Iteration Control on LDPC Decoders

Amador, Erick, Knopp, Raymond, Rezard, Vincent, Pacalet, Renaud

Year:

2010

Language:

english

File:

PDF, 271 KB

english, 2010

37

[IEEE 2007 Ph.D Research in Microelectronics and Electronics Conference - (2007.07.2-2007.07.5)] 2007 Ph.D Research in Microelectronics and Electronics Conference - Separating control and data processing in RT level virtual IP components

Muhammad, Waseem, Coudert, Sophie, Ameur-Boulifa, Rabea, Pacalet, Renaud

Year:

2007

Language:

english

File:

PDF, 169 KB

english, 2007

38

[IEEE 1997 IEEE International Solids-State Circuits Conference. Digest of Technical Papers - San Francisco, CA, USA (6-8 Feb. 1997)] 1997 IEEE International Solids-State Circuits Conference. Digest of Technical Papers - A real time MPEG2 main profile, main level motion-estimator chipset

Pacalet, R., Lafage, A., Darbel, N., Tychon, P., Bellier, A., Dejean, C., Dutein, C., Feri, E., Haas, S., Laberl, S., Lievre, B., Simon, L., Talayssat, J.

Year:

1997

Language:

english

File:

PDF, 940 KB

english, 1997

39

Hardware Optimized Sample Rate Conversion for Software Defined Radio

Schmidt-Knorreck, Carina, Knopp, Raymond, Pacalet, Renaud

Journal:

Year:

2010

Language:

english

File:

PDF, 442 KB

english, 2010

40

[ACM Press the 46th Annual Design Automation Conference - San Francisco, California (2009.07.26-2009.07.31)] Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09 - Optimum LDPC decoder

Amador, Erick, Pacalet, Renaud, Rezard, Vincent

Year:

2009

Language:

english

File:

PDF, 174 KB

english, 2009

41

[ACM Press the Fourth Workshop - Portland, Oregon (2015.06.14-2015.06.14)] Proceedings of the Fourth Workshop on Hardware and Architectural Support for Security and Privacy - HASP '15 - Performance optimizations of integrity checking based on Merkle trees

Ouaarab, Salaheddine, Duc, Guillaume, Pacalet, Renaud

Year:

2015

Language:

english

File:

PDF, 308 KB

english, 2015

42

[ACM Press the 31st Annual Computer Security Applications Conference - Los Angeles, CA, USA (2015.12.07-2015.12.11)] Proceedings of the 31st Annual Computer Security Applications Conference on - ACSAC 2015 - Hardware-assisted Memory Tracing on New SoCs Embedding FPGA Fabrics

Li, Letitia W., Duc, Guillaume, Pacalet, Renaud

Year:

2015

Language:

english

File:

PDF, 263 KB

english, 2015

43

[IEEE Comput. Soc 2002 Design, Automation and Test in Europe Conference and Exhibition - Paris, France (4-8 March 2002)] Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition - Formal verification techniques: industrial status and perspectives

Moussa, I., Pacalet, R., Blasquez, J., van Hulst, M., Fedeli, A., Lambert, J.-L., Borrione, D., Hanoch, C., Bricaud, P.

Year:

2002

Language:

english

File:

PDF, 176 KB

english, 2002

44

[IEEE Comput. Soc Design, Automation and Test in Europe Conference and Exhibition - Paris, France (16-20 Feb. 2004)] Proceedings Design, Automation and Test in Europe Conference and Exhibition - CMOS structures suitable for secured hardware

Guilley, S., Hoogvorst, P., Mathieu, Y., Pacalet, R., Provost, J.

Year:

2004

Language:

english

File:

PDF, 229 KB

english, 2004

45

A Model-Driven Engineering Methodology to Design Parallel and Distributed Embedded Systems

Enrici, Andrea, Apvrille, Ludovic, Pacalet, Renaud

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2017

Language:

english

File:

PDF, 1.02 MB

english, 2017

46

[IEEE 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - Paris, France (2016.8.24-2016.8.26)] 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) - Survey on Memory and Devices Disaggregation Solutions for HPC Systems

Bielski, Maciej, Pinto, Christian, Raho, Daniel, Pacalet, Renaud

Year:

2016

Language:

english

File:

PDF, 189 KB

english, 2016

47

[IEEE 2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Pavia, Italy (2019.2.13-2019.2.15)] 2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Dynamic Guest Memory Resizing - Paravirtualized Approach

Bielski, Maciej, Rigo, Alvise, Pacalet, Renaud

Year:

2019

Language:

english

File:

PDF, 257 KB

english, 2019

48

[IEEE 2019 8th Mediterranean Conference on Embedded Computing (MECO) - Budva, Montenegro (2019.6.10-2019.6.14)] 2019 8th Mediterranean Conference on Embedded Computing (MECO) - Modeling the Trade-off Between Security and Performance to Support the Product Life Cycle

Fujdiak, Radek, Blazek, Petr, Apvrille, Ludovic, Martinasek, Zdenek, Mlynek, Petr, Pacalet, Renaud, Smekal, David, Mrnustik, Pavel, Barabas, Maros, Zoor, Maysam

Year:

2019

File:

PDF, 1.19 MB

2019

49

[IEEE 2019 22nd Euromicro Conference on Digital System Design (DSD) - Kallithea, Greece (2019.8.28-2019.8.30)] 2019 22nd Euromicro Conference on Digital System Design (DSD) - Odyn: Deadlock Prevention and Hybrid Scheduling Algorithm for Real-Time Dataflow Applications

Dauphin, Benjamin, Pacalet, Renaud, Enrici, Andrea, Apvrille, Ludovic

Year:

2019

File:

PDF, 226 KB

2019

50

[IEEE ICC 2020 - 2020 IEEE International Conference on Communications (ICC) - Dublin, Ireland (2020.6.7-2020.6.11)] ICC 2020 - 2020 IEEE International Conference on Communications (ICC) - Design Space Exploration with Deterministic Latency Guarantees for Crossbar MPSoC Architectures

Uscumlic, Bogdan, Enrici, Andrea, Pacalet, Renaud, Gharbi, Amna, Apvrille, Ludovic, Natarianni, Lionel, Roullet, Laurent

Year:

2020

File:

PDF, 475 KB

2020